1、
Petri网作为一种形式化的开发工具，具有严格的数学语义，可以方便的对系统进行分析和验证，以解决面向对象技术缺乏形式化的描述和分析验证问题。
互联网摘选
2、
本文提出以合成逻辑（Combinatory logic）作为程序设计语言语义学的数学基础。
互联网摘选
3、
4、
他在数理语言学 、 逻辑语义学 、 转换 - 生成语法、 非 转换 - 生成语法等研究领域颇有建树.
互联网摘选
5、
给出了基于语义的几何公差分类方法及基于自由度变动的基本几何要素数学表示方法；
互联网摘选
6、
Denotational semantics studies the transactional behavior on the basis of mathematical models.
指称语义在数学模型的基础上对事务的整体行为进行严格的解释。
互联网摘选
